#include <stdio.h>

int main1 ( int argc, char *argv[] )
{
    char command[80];
    char *dbname;

    if ( argc != 2 )
	{
        printf ( "Usage: %s dbdestroy \n", argv[0] );
        return(1);
    }
    
	dbname = argv[1];
    sprintf ( command, "rmdir %s", dbname );
    system ( command );

	return 0;
}

